#include <workflow/WFFacilities.h>
#include <signal.h>
#include <iostream>
using std::cout;
static WFFacilities::WaitGroup waitGroup(1);
void sighandler(int signum){
    waitGroup.done();
}
int main(){
    signal(SIGINT,sighandler);
    waitGroup.wait();
    cout << "done!\n"; // 尽量不要使用std::endl
}